1
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

David J. Pym, Eike Ritter
წელი:
2004
ენა:
english
ფაილი:
PDF, 4.91 MB
0 / 0
english, 2004
2
The Semantics and Proof Theory of the Logic of Bunched Implications

The Semantics and Proof Theory of the Logic of Bunched Implications

David J. Pym
წელი:
2002
ენა:
english
ფაილი:
PDF, 8.52 MB
0 / 0
english, 2002
3
Reductive logic and proof-search: Proof theory, semantics, and control

Reductive logic and proof-search: Proof theory, semantics, and control

David J. Pym, Eike Ritter
წელი:
2004
ენა:
english
ფაილი:
PDF, 1.81 MB
0 / 0
english, 2004
4
Graphical Models for Security

Graphical Models for Security

George Cybenko & David Pym & Barbara Fila
წელი:
2019
ენა:
english
ფაილი:
PDF, 13.05 MB
0 / 5.0
english, 2019
5
Economics of information security and privacy

Economics of information security and privacy

Tyler Moore, David Pym, Christos Ioannidis (auth.), Tyler Moore, David Pym, Christos Ioannidis (eds.)
წელი:
2010
ენა:
english
ფაილი:
PDF, 4.23 MB
0 / 0
english, 2010
6
Graphical Models for Security: 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

Graphical Models for Security: 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

George Cybenko, David Pym, Barbara Fila
წელი:
2019
ენა:
english
ფაილი:
PDF, 13.05 MB
0 / 0
english, 2019